Formalized Mathematics
Formalized Mathematics > 2008 > 16 > 3 > 283-288
Formalized Mathematics > 2008 > 16 > 3 > 259-267
Formalized Mathematics > 2008 > 16 > 3 > 269-275
Formalized Mathematics > 2008 > 16 > 3 > 231-245
Formalized Mathematics > 2008 > 16 > 3 > 277-282
Formalized Mathematics > 2008 > 16 > 3 > 253-258
Formalized Mathematics > 2008 > 16 > 3 > 247-252